An Algebra-Coalgebra Framework for System Specification
نویسندگان
چکیده
منابع مشابه
Coalgebra-to-Algebra Morphisms
Given a coalgebra p for HG, an algebra s for GH and the obvious notion of morphism from coalgebra to algebra, we observe that morphisms from Gp to s correspond to morphisms from p to Hs in the manner of an adjunction even when there is no adjunction between G and H. This appears to be one of the basic phenomena underlying the transport of special algebras. A proof of Freyd’s Iterated Square The...
متن کاملOn Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability
The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification. An equational specification framework for algebraic structures is obtained in a similar way. The two frameworks are then integrated in order to account for structures comprising b...
متن کاملInitial Algebra and Final Coalgebra Semantics
The aim of this paper is to relate initial algebra semantics and final coalgebra semantics. It is shown how these two approaches to the semantics of programming languages are each others dual, and some conditions are given under which they coincide. More precisely, it is shown how to derive initial semantics from final semantics, using the initiality and finality to ensure their equality. Moreo...
متن کاملScientific Modelling with Coalgebra-Algebra Homomorphisms
Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications in recursive functional programming, several basic modes of reasoning about scientific models have been demonstrated to admit such an exact meta-theory. Here...
متن کاملThe cohomology structure of an algebra entwined with a coalgebra
Two cochain complexes are constructed for an algebra A and a coalgebra C entwined with each other via the map ψ : C ⊗ A → A ⊗ C. One complex is associated to an A-bimodule, the other to a C-bicomodule. In the former case the resulting complex can be considered as a ψ-twisted Hochschild complex of A, while for the latter one obtains a ψ-twist of the Cartier complex of C. The notion of a weak com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80345-7